121. Logic and its applications :
المؤلف: Kamal Lodaya (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
122. Logic-based program synthesis and transformation :
المؤلف: Fred Mesnard, Peter J. Stuckey (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
123. Logic programming and nonmonotonic reasoning :
المؤلف: Pedro Cabalar, Tran Cao Son (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
124. Low-dimensional quantum field theories for condensed matter physicists :
المؤلف: editors, S. Lundquist, G. Morandi, Yu Lu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Condensed matter, Congresses.,Low-dimensional topology, Congresses.,Particles (Nuclear physics), Congresses.,Quantum field theory, Congresses.,Campos E Ondas (Fisica Teorica),Condensed matter.,Festkörper,Festkörperphysik,Kongress,Low-dimensional topology.,Particles (Nuclear physics),Quantenfeldtheorie,Quantum field theory.,SCIENCE-- Physics-- Condensed Matter.
رده :
QC174
.
45
.
A1
I25
1992eb
125. Macroscopic Limits of Quantum Systems :
المؤلف: Daniela Cadamuro, Maximilian Duell, Wojciech Dybalski, Sergio Simonella, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum systems, Congresses.,Mathematical Physics.,Statistical Physics and Dynamical Systems.,Mathematical physics.,Quantum systems.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,Statistical physics.
رده :
QC174
.
13
126. Malliavin calculus and its applications
المؤلف: Nualart, David
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Malliavin calculus,Congresses ، Calculus of variations
رده :
QA
274
.
2
.
N828
2009
127. Malliavin calculus and its applications
المؤلف: David Nualart
المکتبة: (طهران)
موضوع: Congresses ، Malliavin calculus,Congresses ، Calculus of variations
رده :
QA
1
.
R33
no
.
110
128. Malliavin calculus and its applications
المؤلف: David Nualart
المکتبة: (کرمان)
موضوع: Malliavin calculus--Congresses,Calculus of variations--Congresses
رده :
QA
274
.
2
.
N828
2009
129. Maple V:
المؤلف: Robert J. Lopez, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
130. Maple V:
المؤلف: Robert J. Lopez, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
131. Mathematical Analysis and Applications -- Plenary Lectures :
المؤلف: Luigi G. Rodino, Joachim Toft, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical analysis, Congresses.,Mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
رده :
QA377
.
I58
2017
132. Mathematical foundations of computer science 1993 :
المؤلف: Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
133. Mathematical foundations of computer science 2003 :
المؤلف: Krzysztof Diks and Wojciech Rytter (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
134. Mathematical foundations of programming semantics :
المؤلف: M. Main, A. Melton, M. Mislove ... [et al.], eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
135. Mathematical theories of optimization
المؤلف: / edited by J.P. Cecconi and T. Zolezzi
المکتبة: (طهران)
موضوع: Mathematical optimization -- Congresses,Calculus of variations -- Congresses,Differential equations, Partial -- Congresses
رده :
QA
402
.
5
.
M3
1981
136. Mathematical theories of optimization : Proceedings of the International Conference held in S. Margherita Ligure )Genova( November 30 - December 4, 1981
المؤلف: edited by J. P. Cecconi and T. Zolezzi
المکتبة: (طهران)
موضوع: Congresses ، Mathematical optimization,Congresses ، Calculus of variations,Congresses ، Differential equations, Partial
رده :
QA
3
.
L28
Vol
.
979
137. Mathematical theories of optimization: proceedings of the international conference held in S. Margherita Ligure )Genova( November 30-December 4, 1981
المؤلف: Edited by J.P. Cecconi and T. Zolezzi
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Mathematical optimization,Congresses ، Calculus of variations,Congresses ، Differential equations, Partial
رده :
QA
3
.
L28
no
.
979
138. Mathematical theories of optimization: proceedings of the international conference held in S. Margherita Ligure )Genova(, November 30-December 4, 1981
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Mathematical optimization,Congresses ، Calculus of variations,Congresses ، Differential equations, Partial
رده :
QA
3
.
L28
no
.
979
139. Mathematical theories of optimization : proceedings of the international conference held in S. Margherita Ligure )Genova(, November 30-December 4, 1981
المؤلف: edited by J.P. Cecconi and T. Zolezzi
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Mathematical optimization,Congresses ، Calculus of variations,Congresses ، Differential equations, Partial
رده :
QA
1
.
L4
v
.
979
140. Mathematics, informatics, and their applications in natural sciences and engineering :
المؤلف: George Jaiani, David Natroshvili, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering mathematics, Congresses.,Mathematics, Congresses.,Engineering mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA1
